Four-Valued Diagnoses for Strati ed Knowledge-Bases
نویسنده
چکیده
We present a four-valued approach for recovering consistent data from inconsistent set of assertions. For a common family of knowledge-bases we also provide an eecient algorithm for doing so au-tomaticly. This method is particularly useful for making model-based diagnoses.
منابع مشابه
Four-Valued Diagnoses for Stratified Knowledge-Bases
We present a four-valued approach for recovering consistent data from inconsistent set of assertions. For a common family of knowledge-bases we also provide an eecient algorithm for doing so au-tomaticly. This method is particularly useful for making model-based diagnoses.
متن کاملFinding and measuring inconsistency in arbitrary knowledge bases
There is extensive theoretical work on measures of inconsistency for arbitrary formulae in knowledge bases. Many of these are de ned in terms of the set of minimal inconsistent subsets (MISes) of the base. However, few have been implemented or experimentally evaluated to support their viability, since computing all MISes is intractable in the worst case. Fortunately, recent work on a related pr...
متن کاملA Hierarchy of Tractable Subsets for Computing Stable Models
Finding the stable models of a knowledge base is a signi cant computational problem in arti cial intelligence. This task is at the computational heart of truth maintenance systems, autoepistemic logic, and default logic. Unfortunately, it is NP-hard. In this paper we present a hierarchy of classes of knowledge bases, 1; 2; :::, with the following properties: rst, 1 is the class of all strati ed...
متن کاملA Four-valued Approach for Handling Inconsistency in Prioritized Knowledge-bases
The use of priorities among formulae is an important tool to appropriately revise inconsistent knowledge-bases. We present a four-valued semantical approach for recovering consistent data from prioritized knowledge-bases. This approach is nonmonotonic and paraconsistent in nature.
متن کاملNeighborhoods in strati"ed spaces with two strata
We develop a theory of tubular neighborhoods for the lower strata in manifold strati"ed spaces with two strata. In these topologically strati"ed spaces, manifold approximate "brations and teardrops play the role that "bre bundles and mapping cylinders play in smoothly strati"ed spaces. Applications include the classi"cation of neighborhood germs, a multiparameter isotopy extension theorem and a...
متن کامل